Analysis of Logic Programs with Delay
نویسندگان
چکیده
The paper focuses on practical analyses for logic programs with delay. The method described is for downward-closed program properties and, in particular, groundness. A program transformation is defined which eliminates the delay statements but still enables an accurate approximation of the behaviour of delayed goals to be traced by the analyser. An implementation has been built which shows that the analysis can be both accurate and efficient.
منابع مشابه
Efficient Delay Characterization Method to Obtain the Output Waveform of Logic Gates Considering Glitches
Accurate delay calculation of circuit gates is very important in timing analysis of digital circuits. Waveform shapes on the input ports of logic gates should be considered, in the characterization phase of delay calculation, to obtain accurate gate delay values. Glitches and their temporal effect on circuit gate delays should be taken into account for this purpose. However, the explosive numbe...
متن کاملProving Termination of Logic Programs with Delay Declarations
In this paper we propose a method for proving termination of logic programs with delay declarations The method is based on the notion of recurrent logic program which is used to prove programs terminating with respect to an arbitrary selection rule Most importantly we use the notion of bound query as proposed by M Bezem in the de nition of cover a new notion which forms the kernel of our approa...
متن کاملPractical Analysis of Logic Programs with Delay ( Extended Abstract )
The paper focuses on practical analyses for logic programs with delay. The method described is for downward-closed program properties and, in particular, groundness.A program transformation is defined which eliminates the delay statements but still enables an accurate approximation of the behaviour of delayed goals to be traced by the analyser. A simple prototype implementation has been built a...
متن کاملReexecution-Based Analysis of Logic Programs with Delay Declarations
A general semantics-based framework for the analysis of logic programs with delay declarations is presented. The framework incorporates well known refinement techniques based on reexecution. The concrete and abstract semantics express both deadlock information and qualified answers.
متن کاملبهبود عملکرد سامانههای کنترل از طریق شبکه با استفاده از چرخش در قوانین کنترلگر منطق فازی
This paper addresses a novel control method adapted with varying time delay to improve NCS performance. A well-known challenge with NCSs is the stochastic time delay. Conventional controllers such as PID type controllers which are just tuned with a constant time delay could not be a solution for these systems. Fuzzy logic controllers due to their nonlinear characteristic which is compatible wit...
متن کامل